Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 9 of 9 (0.334 secs)
You searched for: subject:"gerald jay"
[texts]mit :: ai :: aim :: AIM-848a
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-848a
Keywords: procedure; essential; returns; expression; unspecified; procedures; syntax; scheme; expressions; implementations; operationally equivalent; computer science; essential procedure; guy lewis; procedure procedure; engineering design; top level; procedure essential; procedure returns; gerald jay
Downloads: 25
[texts]mit :: ai :: aim :: AIM-526
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-526
Keywords: design; mit; vlsi; system; layout; adder; designer; lab; cell; sussman; mit artificial; gerald jay; design procedure; design plan; design procedures; intelligence laboratory; integrated systems; design system; artificial intelligence; performance theory
Downloads: 37
[texts]mit :: ai :: aim :: AIM-461
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-461
Keywords: node; nodes; justification; assumptions; default; maintenance; backtracking; justifications; contradiction; truth; problem solving; default choice; truth maintenance; gerald jay; maintenance system; conditional proof; solving systems; default assumption; maintenance systems; conditional proofs
Downloads: 37
[texts]mit :: ai :: aim :: AIM-425
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-425
Keywords: design; sussman; artificial; intelligence; mit; debugging; analysis; problem; program; circuit; gerald jay; computer science; artificial intelligence; problem solving; problem solver; laboratory memo; plan fragment; mit artificial; intelligence laboratory; sussman design
Downloads: 37
[texts]mit :: ai :: aim :: AIM-203
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-203
Keywords: theorem; theorems; variable; planner; data; failure; thprog; lisp; assertions; assigned; theorem prover; theorem prove; data base; error comments; failure backs; antecedent theorems; jay sussman; failure propagates; gerald jay; overpopped thtree
Downloads: 37
[texts]mit :: ai :: aim :: AIM-203a
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-203a
Keywords: theorem; theorems; planner; lisp; data; thprog; failure; variable; assigned; assertions; artificial intelligence; theorem prover; data base; erasing theorems; pattern matching; consequent theorem; failure propagates; antecedent theorems; failure backs; gerald jay
Downloads: 52
[texts]mit :: ai :: aim :: AIM-380
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-380
Keywords: circuit; ars; voltage; node; contradiction; thai; assertion; demon; data base; facts; project mac; indexed data; symbolic unknown; atomic facts; trigger slots; antecedent reasoning; fact data; technical report; gerald jay
Downloads: 119
[texts]mit :: ai :: aim :: AIM-433
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-433
Keywords: slices; circuit; sussman; artificial; parallel; analysis; intelligence; mit; equivalent; dissipated; technical report; parallel combination; artificial intelligence; component values; mit artificial; gerald jay; sussman slices; power dissipated; intelligence laboratory; ohm resistor
Downloads: 34
[texts]mit :: ai :: aim :: AIM-427
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-427
Keywords: explicit; sussman; control; reasoning; solver; rules; knowledge; steele; goal; problem; conjunction introduction; goal rule; explicit control; artificial intelligence; problem solver; problem solving; derivation rules; gerald jay; control assertions; explicit data
Downloads: 45
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related creators

Related mediatypes

texts